8.4 Rational Points on a Circle